<!doctype html>
<html>
<head>
<script>
  function do_count() { counter.count(); }
</script>
<body>
</body>
</html>